#ifndef __EKOS_USER_KV_H__
#define __EKOS_USER_KV_H__

#include <types.h>

typedef uint64_t kv_key_t;

int kv_init(void);

int kv_get_size(kv_key_t k);
int kv_try_map(kv_key_t k, int pid, void *vaddr, int w);
int kv_map(kv_key_t k, int pid, void *vaddr, int w);
int kv_unmap(kv_key_t k, int pid, void *vaddr);

#endif
